141. Formal techniques for distributed objects, components, and systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
142. Formal techniques for distributed objects, components, and systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
143. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
144. Formal techniques for distributed systems
پدیدآورنده : [edited by]& Roberto Bruni, Juergen Dingel
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
145. Formal techniques for distributed systems
پدیدآورنده : Dirk Beyer, Michele Boreale (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
D5
146. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
147. Formal techniques for networked and distributed systems - FORTE 2002 :
پدیدآورنده : Doron A. Peled ; Moshe Y. Vardi (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formale Methode.,Formale Spezifikationstechnik.,Kommunikationsprotokoll.
رده :
QA76
.
9
.
F67
D676
2002
148. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
پدیدآورنده : Doron A. Peled, Moshe Y. Vardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2529
149. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
پدیدآورنده : Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2767
150. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
پدیدآورنده : Farn Wang )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3731
151. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
پدیدآورنده : ]edited by[ David de Frutos-Escrig, Manuel Nunez
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
152. From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic circuit design-- Congresses,، Electronic digital computers-- Circuits-- Design and construction - Congresses
رده :
TK
7867
.
I4
1986
153. Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings
پدیدآورنده : J. Hughes, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
523
154. Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers
پدیدآورنده : Farhad Arbab, Marjan Sirjani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
7141
155. Fundamentals of software engineering : 5th International Conference, FSEN 2013 ,Tehran, Iran, April 24-26, 2013, revised selected papers
پدیدآورنده : Farhad Arbab, Marjan Sirjani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
8161
156. Geometric modeling for cad applications: Selected and expanded papers from theIFIP WG 5.2 working conference Rensselaerville, NY, USA, 12-16 may 1986
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Gemorty- data processing- congresses,Computer graphics- congresses,Mathematical mode is- congresses,CAD/CAM systems congresses
رده :
QA
،
447
،.
I35
،
1988
157. Geometric modeling for product engineering: Selected and expanded papers from the IFIP WG 5.2/ NSF working conference on Geomatric modeling Rensselaerville, U.S.A., 18-22 September, 1988
پدیدآورنده : Edited by M. J. Wozny, J. U. Turner, K. Preiss
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Design industrial- Congresses,Engineering design- Congresses,Computer graphics- Congresses
رده :
TS
،
171
,.
4
،.
I45
،
1988
158. Global modelling: proceedings of the IFIP-WG 7/1 working conference, dub-rovnik, Yugoslavia, Sept. 1-5, 1980
پدیدآورنده : edited by S. Krcevinac
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : 5491 - Mathematical models - Congresses ، Economic history
رده :
HC
13
.
G57
1981
159. Governance and sustainability in information systems
پدیدآورنده : Markus Nüettgens [and 4 others], (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
160. Grand Successes and Failures in IT:
پدیدآورنده : edited by Yogesh K. Dwivedi, Helle Zinner Henriksen, David Wastell, Rahul De'.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers and Society.,Information Systems.
رده :
T58
.
5
E358
2013
